The Reflex Sandbox : an experimentation environment for an aspect-oriented Kernel

Reflex es un núcleo versátil para la programación orientada aspectos en Java. Provee de las abstracciones básicas, estructurales y de comportamiento, que permiten implementar una variedad de técnicas orientadas a aspectos. Esta tesis estudia dos tópicos fundamentales. En primer lugar, el desarrollo formal, utilizando el lenguaje Haskell, de las construcciones fundamentales del modelo Reflex para reflexión parcial de comportamiento. Este desarrollo abarca el diseño de un lenguaje, llamado Kernel, el cual es una extensión reflexiva de un lenguaje orientado a objetos simple. La semántica operacional del lenguaje Kernel es presentada mediante una máquina de ejecución abstracta. El otro tópico fundamental que estudia esta tesis es validar que el modelo de reflexión parcial de comportamiento es suficientemente expresivo para proveer de semántica a un subconjunto del lenguaje AspectJ. Con este fin, se desarrolló el Reflex Sandbox: un ambiente de experimentación en Haskell para el modelo Reflex. Tanto el desarrollo formal del modelo de reflexión parcial de comportamiento como la validación del soporte de AspectJ, son estudiados en el contexto del Reflex Sandbox. La validación abarca la definición de un lenguaje orientado a aspectos que caracteriza el enfoque de AspectJ a la programación orientada a aspectos, así como la definición de su máquina de ejecución abstracta. También se presenta un compilador que transforma programas escritos en este lenguaje al lenguaje Kernel. Este proceso de compilación provee los fundamentos para entender como dicha transformación puede ser realizada. El proceso de compilación también fue implementado en Java, pero transformando programas AspectJ a programas Reflex. También se presentan mediciones preliminares del desempeño de un programa compilado y ejecutado en Reflex y un programa compilado, y ejecutado con el compilador AspectJ

An approach to subroutine elimination

Subroutines seem to be more a problem than a solution for the Byte Code Verifier's world, especially with resource constrained devices like Java Card. The elimination of subroutines form the Java bytecode would allow the construction of more efficient and precise Byte Code Verifiers. Here we specify a transformation for eliminating subroutines and we prove that its preserves the semantics of the Java program been transformed. Al this is done on top of the COQ Proof Assistant

Gestión de transacciones en la plataforma J2EE

El manejo transaccional es una característica fundamental de todo sistema de información actual. Los sistemas de información empresariales se caracterizan por integrar fuentes de datos heterogéneas, estar basadas en diferentes tecnologías y tener fuertes requerimientos de performance y escalabilidad. Estas características hacen que lograr transaccionalidad para estos sistemas sea un gran reto. El desarrollo de los mismos se hace muy difícil sin una plataforma que simplifique el trabajo y solucione problemas como el soporte transaccional de los sistemas. La plataforma J2EE es la propuesta de Sun para el desarrollo de aplicaciones empresariales. Esté trabajo apunta a analizar la gestión transaccional que ofrece dicha plataforma

Estudios de interoperabilidad .NET/J2EE

El presente trabajo detalla un estudio realizado de cuatro posibles mecanismos para integrar aplicaciones desarrolladas en las plataformas J2EE y .NET. El objetivo de ese estudio fue generar el conocimiento necesario para solucionar el problema presentado por la integración de partes desarrolladas en .NET y J2EE de una misma aplicación. Al no existir un mecanismo predefinido para ello, se estudiaron varias alternativas disponibles en el mercado para realizar esta integración. Asimismo, se analizaron las ventajas y desventajas de cada una de las alternativas, de forma de contar con las pautas necesarias para optar por la mejor solución al problema puntual que originó este estudio

Arquitectura de sistemas de información basados en componentes sobre la plataforma J2EE

El desarrollo de sistemas basado en componentes puede ser atacado desde dos frentes o más precisamente niveles diferentes. Uno de ellos es el nivel de la tecnología que se empleará para la implementación del sistema, y el otro es un nivel previo más abstracto en el que el centro es la estructura lógica de la solución dejando de lado aspectos particulares de la tecnología. El enfoque de Model Driven Architecture incorpora esta separación distinguiendo modelos de sistemas que son independientes de la plataforma de desarrollo de los que son específicos para la misma. Alineado con este enfoque, este artículo propone una correspondencia entre la arquitectura lógica en capas de un sistema de información creado independiente de la tecnología aplicando una propuesta metodológica conocida, y las construcciones de la plataforma J2EE. Esta correspondencia o mapping permite definir transformaciones entre modelos independientes de la plataforma resultantes de la aplicación de la metodología mencionada que permiten un razonamiento abstracto de la solución, y modelos específicos de la plataforma que se encuentran alineados con las construcciones de la tecnología y que son implementables en forma directa

Incidence of severe critical events in paediatric anaesthesia (APRICOT): a prospective multicentre observational study in 261 hospitals in Europe

Background Little is known about the incidence of severe critical events in children undergoing general anaesthesia in Europe. We aimed to identify the incidence, nature, and outcome of severe critical events in children undergoing anaesthesia, and the associated potential risk factors. Methods The APRICOT study was a prospective observational multicentre cohort study of children from birth to 15 years of age undergoing elective or urgent anaesthesia for diagnostic or surgical procedures. Children were eligible for inclusion during a 2-week period determined prospectively by each centre. There were 261 participating centres across 33 European countries. The primary endpoint was the occurence of perioperative severe critical events requiring immediate intervention. A severe critical event was defined as the occurrence of respiratory, cardiac, allergic, or neurological complications requiring immediate intervention and that led (or could have led) to major disability or death. This study is registered with ClinicalTrials.gov, number NCT01878760. Findings Between April 1, 2014, and Jan 31, 2015, 31â127 anaesthetic procedures in 30â874 children with a mean age of 6·35 years (SD 4·50) were included. The incidence of perioperative severe critical events was 5·2% (95% CI 5·0â5·5) with an incidence of respiratory critical events of 3·1% (2·9â3·3). Cardiovascular instability occurred in 1·9% (1·7â2·1), with an immediate poor outcome in 5·4% (3·7â7·5) of these cases. The all-cause 30-day in-hospital mortality rate was 10 in 10â000. This was independent of type of anaesthesia. Age (relative risk 0·88, 95% CI 0·86â0·90; p<0·0001), medical history, and physical condition (1·60, 1·40â1·82; p<0·0001) were the major risk factors for a serious critical event. Multivariate analysis revealed evidence for the beneficial effect of years of experience of the most senior anaesthesia team member (0·99, 0·981â0·997; p<0·0048 for respiratory critical events, and 0·98, 0·97â0·99; p=0·0039 for cardiovascular critical events), rather than the type of health institution or providers. Interpretation This study highlights a relatively high rate of severe critical events during the anaesthesia management of children for surgical or diagnostic procedures in Europe, and a large variability in the practice of paediatric anaesthesia. These findings are substantial enough to warrant attention from national, regional, and specialist societies to target education of anaesthesiologists and their teams and implement strategies for quality improvement in paediatric anaesthesia. Funding European Society of Anaesthesiology

Incidence of severe critical events in paediatric anaesthesia (APRICOT): a prospective multicentre observational study in 261 hospitals in Europe

Background Little is known about the incidence of severe critical events in children undergoing general anaesthesia in Europe. We aimed to identify the incidence, nature, and outcome of severe critical events in children undergoing anaesthesia, and the associated potential risk factors. Methods The APRICOT study was a prospective observational multicentre cohort study of children from birth to 15 years of age undergoing elective or urgent anaesthesia for diagnostic or surgical procedures. Children were eligible for inclusion during a 2-week period determined prospectively by each centre. There were 261 participating centres across 33 European countries. The primary endpoint was the occurence of perioperative severe critical events requiring immediate intervention. A severe critical event was defined as the occurrence of respiratory, cardiac, allergic, or neurological complications requiring immediate intervention and that led (or could have led) to major disability or death. This study is registered with ClinicalTrials.gov, number NCT01878760. Findings Between April 1, 2014, and Jan 31, 2015, 31 127 anaesthetic procedures in 30 874 children with a mean age of 6.35 years (SD 4.50) were included. The incidence of perioperative severe critical events was 5.2% (95% CI 5.0-5.5) with an incidence of respiratory critical events of 3.1% (2.9-3.3). Cardiovascular instability occurred in 1.9% (1.7-2.1), with an immediate poor outcome in 5.4% (3.7-7.5) of these cases. The all-cause 30-day in-hospital mortality rate was 10 in 10 000. This was independent of type of anaesthesia. Age (relative risk 0.88, 95% CI 0.86-0.90; p<0.0001), medical history, and physical condition (1.60, 1.40-1.82; p<0.0001) were the major risk factors for a serious critical event. Multivariate analysis revealed evidence for the beneficial effect of years of experience of the most senior anaesthesia team member (0.99, 0.981-0.997; p<0.0048 for respiratory critical events, and 0.98, 0.97-0.99; p=0.0039 for cardiovascular critical events), rather than the type of health institution or providers. Interpretation This study highlights a relatively high rate of severe critical events during the anaesthesia management of children for surgical or diagnostic procedures in Europe, and a large variability in the practice of paediatric anaesthesia. These findings are substantial enough to warrant attention from national, regional, and specialist societies to target education of anaesthesiologists and their teams and implement strategies for quality improvement in paediatric anaesthesia